- formalized axiomatics
- формализованная аксиоматика
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
formalized axiomatics
Смотреть что такое "formalized axiomatics" в других словарях:
Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… … Wikipedia
Tarski–Grothendieck set theory — (TG) is an axiomatic set theory derived by marrying Tarski s axiom (see below) to ZF. TG is part of the Mizar system for formal computer verification of mathematical proofs.AxiomsWhile the axioms and definitions defining Mizar s basic objects and … Wikipedia
